2

State of the art in automated validation of knowledge-based systems

Year:
1994
Language:
english
File:
PDF, 1.80 MB
english, 1994
11

Verification of non-monotonic knowledge bases

Year:
1997
Language:
english
File:
PDF, 93 KB
english, 1997
17

Modern Imaging Modalities in the Assessment of Acute Stroke

Year:
2014
Language:
russian
File:
PDF, 3.30 MB
russian, 2014
24

Intelligent Problem-independent Tool for Plausible Inference

Year:
1987
Language:
english
File:
PDF, 1.44 MB
english, 1987
29

LGMD AUTOSOMAL RESSESSIVE AND DOMINANT

Year:
2018
Language:
english
File:
PDF, 69 KB
english, 2018